Isabelle-HoTT/ex/HoTT Book, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 Some comments and reorganization 2018-08-16T14:28:50+00:00 Josh Chen 2018-08-16T14:28:50+00:00 d8699451025a3bd5e8955e07fa879ed248418949 






Tweak proof methods, some type rules; add HoTT Book examples
2018-08-15T09:47:30+00:00

Josh Chen

2018-08-15T09:47:30+00:00

f4f468878fc0459a806b02cdf8921af6fcac2759